$\forall$$A$, $B$:(Id$\rightarrow$MsgA).
\\[0ex]$A$ $\parallel$ $B$ $\Rightarrow$ interface{-}compatible($A$;$B$) $\Rightarrow$ Feasible($A$) $\Rightarrow$ Feasible($B$) $\Rightarrow$ Feasible($A$ $\oplus$ $B$)